<html>
<head><meta charset="utf-8"><title>Status/Planning meeting · t-compiler/rust-analyzer · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/185405-t-compiler/rust-analyzer/index.html">t-compiler/rust-analyzer</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/185405-t-compiler/rust-analyzer/topic/Status.2FPlanning.20meeting.html">Status/Planning meeting</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="165063378"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185405-t-compiler/rust-analyzer/topic/Status/Planning%20meeting/near/165063378" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> matklad <a href="https://rust-lang.github.io/zulip_archive/stream/185405-t-compiler/rust-analyzer/topic/Status.2FPlanning.20meeting.html#165063378">(May 07 2019 at 11:43)</a>:</h4>
<p>Hey, <span class="user-group-mention" data-user-group-id="1060">@WG-rls2.0</span>, do we think we need a high-level planing meeting/sync-up soon? We haven't had one for a while, but at the same time the progress is steady and impressive, so I don't think like we <strong>need</strong> planing. Though, we may sort-of celebrate what we've achieved since all-hands.</p>



<a name="165071291"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185405-t-compiler/rust-analyzer/topic/Status/Planning%20meeting/near/165071291" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/185405-t-compiler/rust-analyzer/topic/Status.2FPlanning.20meeting.html#165071291">(May 07 2019 at 13:39)</a>:</h4>
<p>I at least would love to hear updates!</p>



<a name="165160030"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185405-t-compiler/rust-analyzer/topic/Status/Planning%20meeting/near/165160030" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Florian Diebold <a href="https://rust-lang.github.io/zulip_archive/stream/185405-t-compiler/rust-analyzer/topic/Status.2FPlanning.20meeting.html#165160030">(May 08 2019 at 12:57)</a>:</h4>
<p>ok, I'd be up for it</p>



<a name="165161753"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185405-t-compiler/rust-analyzer/topic/Status/Planning%20meeting/near/165161753" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> matklad <a href="https://rust-lang.github.io/zulip_archive/stream/185405-t-compiler/rust-analyzer/topic/Status.2FPlanning.20meeting.html#165161753">(May 08 2019 at 13:17)</a>:</h4>
<p>Let's do this: <a href="https://doodle.com/poll/5a74s37gvxnp23k3" target="_blank" title="https://doodle.com/poll/5a74s37gvxnp23k3">https://doodle.com/poll/5a74s37gvxnp23k3</a>!</p>
<p>I suggest spending the first half discussing what we've already done, and the second half for high-level planning.</p>
<p>They key people are  <span class="user-mention" data-user-id="129457">@Florian Diebold</span>  and <span class="user-mention" data-user-id="216201">@Edwin Cheng</span> , but of course the more the merrier! cc <span class="user-group-mention" data-user-group-id="1060">@WG-rls2.0</span></p>



<a name="165165743"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185405-t-compiler/rust-analyzer/topic/Status/Planning%20meeting/near/165165743" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/185405-t-compiler/rust-analyzer/topic/Status.2FPlanning.20meeting.html#165165743">(May 08 2019 at 14:05)</a>:</h4>
<p>I’m pretty ill (bedridden) so I can’t guarantee I’ll make it to a mtg Friday. But I will try</p>



<a name="165166306"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185405-t-compiler/rust-analyzer/topic/Status/Planning%20meeting/near/165166306" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Edwin Cheng <a href="https://rust-lang.github.io/zulip_archive/stream/185405-t-compiler/rust-analyzer/topic/Status.2FPlanning.20meeting.html#165166306">(May 08 2019 at 14:12)</a>:</h4>
<p>Sorry i am on vacation this week, but will be available next week all days.</p>



<a name="165167297"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185405-t-compiler/rust-analyzer/topic/Status/Planning%20meeting/near/165167297" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Edwin Cheng <a href="https://rust-lang.github.io/zulip_archive/stream/185405-t-compiler/rust-analyzer/topic/Status.2FPlanning.20meeting.html#165167297">(May 08 2019 at 14:24)</a>:</h4>
<p><span class="user-mention" data-user-id="116083">@pnkfelix</span> take care!</p>



<a name="165277626"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185405-t-compiler/rust-analyzer/topic/Status/Planning%20meeting/near/165277626" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> matklad <a href="https://rust-lang.github.io/zulip_archive/stream/185405-t-compiler/rust-analyzer/topic/Status.2FPlanning.20meeting.html#165277626">(May 09 2019 at 18:35)</a>:</h4>
<p><span class="user-mention" data-user-id="116083">@pnkfelix</span> take care!</p>
<p>I've scheduled the meeting on Tuesday, invites sent!</p>



<a name="165634864"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185405-t-compiler/rust-analyzer/topic/Status/Planning%20meeting/near/165634864" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> matklad <a href="https://rust-lang.github.io/zulip_archive/stream/185405-t-compiler/rust-analyzer/topic/Status.2FPlanning.20meeting.html#165634864">(May 14 2019 at 16:00)</a>:</h4>
<p><span class="user-group-mention" data-user-group-id="1060">@WG-rls2.0</span> : <span aria-label="bell" class="emoji emoji-1f514" role="img" title="bell">:bell:</span> meeting time! <span aria-label="bell" class="emoji emoji-1f514" role="img" title="bell">:bell:</span> <span aria-label="tada" class="emoji emoji-1f389" role="img" title="tada">:tada:</span></p>



<a name="165634885"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185405-t-compiler/rust-analyzer/topic/Status/Planning%20meeting/near/165634885" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> matklad <a href="https://rust-lang.github.io/zulip_archive/stream/185405-t-compiler/rust-analyzer/topic/Status.2FPlanning.20meeting.html#165634885">(May 14 2019 at 16:00)</a>:</h4>
<p><span aria-label="wave" class="emoji emoji-1f44b" role="img" title="wave">:wave:</span></p>



<a name="165634943"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185405-t-compiler/rust-analyzer/topic/Status/Planning%20meeting/near/165634943" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Edwin Cheng <a href="https://rust-lang.github.io/zulip_archive/stream/185405-t-compiler/rust-analyzer/topic/Status.2FPlanning.20meeting.html#165634943">(May 14 2019 at 16:01)</a>:</h4>
<p><span aria-label="wave" class="emoji emoji-1f44b" role="img" title="wave">:wave:</span></p>



<a name="165634945"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185405-t-compiler/rust-analyzer/topic/Status/Planning%20meeting/near/165634945" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Florian Diebold <a href="https://rust-lang.github.io/zulip_archive/stream/185405-t-compiler/rust-analyzer/topic/Status.2FPlanning.20meeting.html#165634945">(May 14 2019 at 16:01)</a>:</h4>
<p>Oh hm, I was under the impression it was in an hour... timezones <span aria-label="sweat smile" class="emoji emoji-1f605" role="img" title="sweat smile">:sweat_smile:</span></p>



<a name="165635057"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185405-t-compiler/rust-analyzer/topic/Status/Planning%20meeting/near/165635057" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> matklad <a href="https://rust-lang.github.io/zulip_archive/stream/185405-t-compiler/rust-analyzer/topic/Status.2FPlanning.20meeting.html#165635057">(May 14 2019 at 16:02)</a>:</h4>
<p><span class="user-mention" data-user-id="116009">@nikomatsakis</span> <span class="user-mention" data-user-id="116083">@pnkfelix</span> <span class="user-mention" data-user-id="153740">@Igor Matuszewski</span>, are you around?</p>



<a name="165635074"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185405-t-compiler/rust-analyzer/topic/Status/Planning%20meeting/near/165635074" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/185405-t-compiler/rust-analyzer/topic/Status.2FPlanning.20meeting.html#165635074">(May 14 2019 at 16:02)</a>:</h4>
<p>i'm around -ish yeah</p>



<a name="165635092"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185405-t-compiler/rust-analyzer/topic/Status/Planning%20meeting/near/165635092" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Igor Matuszewski <a href="https://rust-lang.github.io/zulip_archive/stream/185405-t-compiler/rust-analyzer/topic/Status.2FPlanning.20meeting.html#165635092">(May 14 2019 at 16:02)</a>:</h4>
<p>Same, although on a train atm</p>



<a name="165635103"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185405-t-compiler/rust-analyzer/topic/Status/Planning%20meeting/near/165635103" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Igor Matuszewski <a href="https://rust-lang.github.io/zulip_archive/stream/185405-t-compiler/rust-analyzer/topic/Status.2FPlanning.20meeting.html#165635103">(May 14 2019 at 16:03)</a>:</h4>
<p><span aria-label="wave" class="emoji emoji-1f44b" role="img" title="wave">:wave:</span></p>



<a name="165635159"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185405-t-compiler/rust-analyzer/topic/Status/Planning%20meeting/near/165635159" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> matklad <a href="https://rust-lang.github.io/zulip_archive/stream/185405-t-compiler/rust-analyzer/topic/Status.2FPlanning.20meeting.html#165635159">(May 14 2019 at 16:03)</a>:</h4>
<p>Cool! Let's get started then?</p>



<a name="165635252"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185405-t-compiler/rust-analyzer/topic/Status/Planning%20meeting/near/165635252" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> matklad <a href="https://rust-lang.github.io/zulip_archive/stream/185405-t-compiler/rust-analyzer/topic/Status.2FPlanning.20meeting.html#165635252">(May 14 2019 at 16:04)</a>:</h4>
<p>We plan to start with short recap of progress</p>



<a name="165635275"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185405-t-compiler/rust-analyzer/topic/Status/Planning%20meeting/near/165635275" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> matklad <a href="https://rust-lang.github.io/zulip_archive/stream/185405-t-compiler/rust-analyzer/topic/Status.2FPlanning.20meeting.html#165635275">(May 14 2019 at 16:04)</a>:</h4>
<p><span class="user-mention" data-user-id="216201">@Edwin Cheng</span> would you like to start with talking a bit about macro by example?</p>



<a name="165635332"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185405-t-compiler/rust-analyzer/topic/Status/Planning%20meeting/near/165635332" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> matklad <a href="https://rust-lang.github.io/zulip_archive/stream/185405-t-compiler/rust-analyzer/topic/Status.2FPlanning.20meeting.html#165635332">(May 14 2019 at 16:05)</a>:</h4>
<p>(I assume <span class="user-mention" data-user-id="129457">@Florian Diebold</span> would like some time to prep a chalk report :D )</p>



<a name="165635377"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185405-t-compiler/rust-analyzer/topic/Status/Planning%20meeting/near/165635377" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Edwin Cheng <a href="https://rust-lang.github.io/zulip_archive/stream/185405-t-compiler/rust-analyzer/topic/Status.2FPlanning.20meeting.html#165635377">(May 14 2019 at 16:05)</a>:</h4>
<p>Okay, what i did in these weeks are just fixed all bugs from  fooddogging :)</p>



<a name="165635499"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185405-t-compiler/rust-analyzer/topic/Status/Planning%20meeting/near/165635499" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> matklad <a href="https://rust-lang.github.io/zulip_archive/stream/185405-t-compiler/rust-analyzer/topic/Status.2FPlanning.20meeting.html#165635499">(May 14 2019 at 16:06)</a>:</h4>
<p>Does that mean that we just don't crash on rust-analyzer macros, or are we more or less correctly expanding stdlib now?</p>



<a name="165635555"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185405-t-compiler/rust-analyzer/topic/Status/Planning%20meeting/near/165635555" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Edwin Cheng <a href="https://rust-lang.github.io/zulip_archive/stream/185405-t-compiler/rust-analyzer/topic/Status.2FPlanning.20meeting.html#165635555">(May 14 2019 at 16:07)</a>:</h4>
<p>It means latter, which means we should correctly (as i know) expanding stdlib now</p>



<a name="165635614"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185405-t-compiler/rust-analyzer/topic/Status/Planning%20meeting/near/165635614" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> matklad <a href="https://rust-lang.github.io/zulip_archive/stream/185405-t-compiler/rust-analyzer/topic/Status.2FPlanning.20meeting.html#165635614">(May 14 2019 at 16:08)</a>:</h4>
<p><span aria-label="tada" class="emoji emoji-1f389" role="img" title="tada">:tada:</span></p>



<a name="165635642"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185405-t-compiler/rust-analyzer/topic/Status/Planning%20meeting/near/165635642" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> matklad <a href="https://rust-lang.github.io/zulip_archive/stream/185405-t-compiler/rust-analyzer/topic/Status.2FPlanning.20meeting.html#165635642">(May 14 2019 at 16:08)</a>:</h4>
<p>At least I can attest that we correctly expand syn's macro-generated AST</p>



<a name="165635663"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185405-t-compiler/rust-analyzer/topic/Status/Planning%20meeting/near/165635663" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> matklad <a href="https://rust-lang.github.io/zulip_archive/stream/185405-t-compiler/rust-analyzer/topic/Status.2FPlanning.20meeting.html#165635663">(May 14 2019 at 16:08)</a>:</h4>
<p>so, you now can hack on proc macros and get completion for syn types</p>



<a name="165635699"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185405-t-compiler/rust-analyzer/topic/Status/Planning%20meeting/near/165635699" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Edwin Cheng <a href="https://rust-lang.github.io/zulip_archive/stream/185405-t-compiler/rust-analyzer/topic/Status.2FPlanning.20meeting.html#165635699">(May 14 2019 at 16:09)</a>:</h4>
<p>And as i know, we are only have one bug in rustc source code too.</p>



<a name="165635785"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185405-t-compiler/rust-analyzer/topic/Status/Planning%20meeting/near/165635785" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/185405-t-compiler/rust-analyzer/topic/Status.2FPlanning.20meeting.html#165635785">(May 14 2019 at 16:10)</a>:</h4>
<p>that's really great</p>



<a name="165635824"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185405-t-compiler/rust-analyzer/topic/Status/Planning%20meeting/near/165635824" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> matklad <a href="https://rust-lang.github.io/zulip_archive/stream/185405-t-compiler/rust-analyzer/topic/Status.2FPlanning.20meeting.html#165635824">(May 14 2019 at 16:10)</a>:</h4>
<p>Should we move onto traits?</p>



<a name="165635852"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185405-t-compiler/rust-analyzer/topic/Status/Planning%20meeting/near/165635852" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> matklad <a href="https://rust-lang.github.io/zulip_archive/stream/185405-t-compiler/rust-analyzer/topic/Status.2FPlanning.20meeting.html#165635852">(May 14 2019 at 16:11)</a>:</h4>
<p>(Or I can tell a bit about the lexer stuff whihc I've been doing recently)</p>



<a name="165635885"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185405-t-compiler/rust-analyzer/topic/Status/Planning%20meeting/near/165635885" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Florian Diebold <a href="https://rust-lang.github.io/zulip_archive/stream/185405-t-compiler/rust-analyzer/topic/Status.2FPlanning.20meeting.html#165635885">(May 14 2019 at 16:11)</a>:</h4>
<p>we can move onto traits ;)</p>



<a name="165635895"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185405-t-compiler/rust-analyzer/topic/Status/Planning%20meeting/near/165635895" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> matklad <a href="https://rust-lang.github.io/zulip_archive/stream/185405-t-compiler/rust-analyzer/topic/Status.2FPlanning.20meeting.html#165635895">(May 14 2019 at 16:11)</a>:</h4>
<p>Sure, go ahead! :)</p>



<a name="165635899"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185405-t-compiler/rust-analyzer/topic/Status/Planning%20meeting/near/165635899" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Florian Diebold <a href="https://rust-lang.github.io/zulip_archive/stream/185405-t-compiler/rust-analyzer/topic/Status.2FPlanning.20meeting.html#165635899">(May 14 2019 at 16:11)</a>:</h4>
<p>Basically, we now use Chalk to check whether a type implements a trait for method resolution; we support where clauses now, so there's actual logic solving going on ;) There are a few missing minor details like super trait handling, and we keep running into cases where Chalk takes a very long time to solve a query (I think part of the reason we keep running into this is that we're missing so many features, so a lot of trait queries that should have a solution don't have one, which leads to Chalk trying out lots of combinations unsuccessfully.) So we're looking into adding a 'fuel' mechanism to Chalk that makes sure it never takes too long, even if that means we get a wrong answer (rust-lang/chalk#227, I'm hoping for your feedback <span class="user-mention" data-user-id="116009">@nikomatsakis</span> )</p>



<a name="165635993"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185405-t-compiler/rust-analyzer/topic/Status/Planning%20meeting/near/165635993" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Florian Diebold <a href="https://rust-lang.github.io/zulip_archive/stream/185405-t-compiler/rust-analyzer/topic/Status.2FPlanning.20meeting.html#165635993">(May 14 2019 at 16:12)</a>:</h4>
<p>but mainly right now I'm now looking at implementing support for <code>Deref</code>, because I think it's a good first step for associated type support (I don't need to implement assoc type resolution in paths for it), and it'll give a model for implementing <code>for</code> and <code>?</code></p>



<a name="165636024"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185405-t-compiler/rust-analyzer/topic/Status/Planning%20meeting/near/165636024" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/185405-t-compiler/rust-analyzer/topic/Status.2FPlanning.20meeting.html#165636024">(May 14 2019 at 16:13)</a>:</h4>
<p>what exactly do you mean by "implementing support for Deref"?</p>



<a name="165636050"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185405-t-compiler/rust-analyzer/topic/Status/Planning%20meeting/near/165636050" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> matklad <a href="https://rust-lang.github.io/zulip_archive/stream/185405-t-compiler/rust-analyzer/topic/Status.2FPlanning.20meeting.html#165636050">(May 14 2019 at 16:13)</a>:</h4>
<p>Yeah, <code>Deref</code> + <code>Try</code>  + <code>Iterator</code> would be awesome!</p>



<a name="165636071"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185405-t-compiler/rust-analyzer/topic/Status/Planning%20meeting/near/165636071" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Florian Diebold <a href="https://rust-lang.github.io/zulip_archive/stream/185405-t-compiler/rust-analyzer/topic/Status.2FPlanning.20meeting.html#165636071">(May 14 2019 at 16:13)</a>:</h4>
<p><span class="user-mention" data-user-id="116009">@nikomatsakis</span> e.g. being able to provide autoderefed completions when you have an <code>Arc&lt;X&gt;</code></p>



<a name="165636139"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185405-t-compiler/rust-analyzer/topic/Status/Planning%20meeting/near/165636139" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Florian Diebold <a href="https://rust-lang.github.io/zulip_archive/stream/185405-t-compiler/rust-analyzer/topic/Status.2FPlanning.20meeting.html#165636139">(May 14 2019 at 16:14)</a>:</h4>
<p>so using the <code>Deref::Target</code> for <code>*</code> and autoderef</p>



<a name="165636219"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185405-t-compiler/rust-analyzer/topic/Status/Planning%20meeting/near/165636219" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/185405-t-compiler/rust-analyzer/topic/Status.2FPlanning.20meeting.html#165636219">(May 14 2019 at 16:15)</a>:</h4>
<p>I see, ok</p>



<a name="165636317"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185405-t-compiler/rust-analyzer/topic/Status/Planning%20meeting/near/165636317" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> matklad <a href="https://rust-lang.github.io/zulip_archive/stream/185405-t-compiler/rust-analyzer/topic/Status.2FPlanning.20meeting.html#165636317">(May 14 2019 at 16:16)</a>:</h4>
<p>I suppose it's my turn now?</p>



<a name="165636344"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185405-t-compiler/rust-analyzer/topic/Status/Planning%20meeting/near/165636344" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> matklad <a href="https://rust-lang.github.io/zulip_archive/stream/185405-t-compiler/rust-analyzer/topic/Status.2FPlanning.20meeting.html#165636344">(May 14 2019 at 16:16)</a>:</h4>
<p>So, the kind-of big piece of work I was working on lately is librification of lexer</p>



<a name="165636373"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185405-t-compiler/rust-analyzer/topic/Status/Planning%20meeting/near/165636373" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> matklad <a href="https://rust-lang.github.io/zulip_archive/stream/185405-t-compiler/rust-analyzer/topic/Status.2FPlanning.20meeting.html#165636373">(May 14 2019 at 16:17)</a>:</h4>
<p>that is, I'd love to share lexer between rustc and rust-analzyer</p>



<a name="165636409"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185405-t-compiler/rust-analyzer/topic/Status/Planning%20meeting/near/165636409" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> matklad <a href="https://rust-lang.github.io/zulip_archive/stream/185405-t-compiler/rust-analyzer/topic/Status.2FPlanning.20meeting.html#165636409">(May 14 2019 at 16:17)</a>:</h4>
<p>Progress has been slow, but steady. Although the amount of code is small, extracting it from rustc is not trivial, and rebuilds are long :-(</p>



<a name="165636473"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185405-t-compiler/rust-analyzer/topic/Status/Planning%20meeting/near/165636473" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> matklad <a href="https://rust-lang.github.io/zulip_archive/stream/185405-t-compiler/rust-analyzer/topic/Status.2FPlanning.20meeting.html#165636473">(May 14 2019 at 16:18)</a>:</h4>
<p>That said, we already share code which handles escape sequences in string literals</p>



<a name="165636513"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185405-t-compiler/rust-analyzer/topic/Status/Planning%20meeting/near/165636513" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> matklad <a href="https://rust-lang.github.io/zulip_archive/stream/185405-t-compiler/rust-analyzer/topic/Status.2FPlanning.20meeting.html#165636513">(May 14 2019 at 16:18)</a>:</h4>
<p>so, rust-analyzer and rustc give you approximatelly the same error for <code>"\u{FFFFFFF}"</code></p>



<a name="165636575"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185405-t-compiler/rust-analyzer/topic/Status/Planning%20meeting/near/165636575" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> matklad <a href="https://rust-lang.github.io/zulip_archive/stream/185405-t-compiler/rust-analyzer/topic/Status.2FPlanning.20meeting.html#165636575">(May 14 2019 at 16:19)</a>:</h4>
<p>and, I hope that after a next couple of refactrings on rustc side we share the lexer itself as well</p>



<a name="165636649"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185405-t-compiler/rust-analyzer/topic/Status/Planning%20meeting/near/165636649" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> matklad <a href="https://rust-lang.github.io/zulip_archive/stream/185405-t-compiler/rust-analyzer/topic/Status.2FPlanning.20meeting.html#165636649">(May 14 2019 at 16:20)</a>:</h4>
<p>I've also been doing various smaller things, and one interesting bit is the structured editing API</p>



<a name="165636675"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185405-t-compiler/rust-analyzer/topic/Status/Planning%20meeting/near/165636675" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> matklad <a href="https://rust-lang.github.io/zulip_archive/stream/185405-t-compiler/rust-analyzer/topic/Status.2FPlanning.20meeting.html#165636675">(May 14 2019 at 16:20)</a>:</h4>
<p>Our syntax tree is immutable, and that makes it hard to write refactorings that modify the source code</p>



<a name="165636710"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185405-t-compiler/rust-analyzer/topic/Status/Planning%20meeting/near/165636710" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> matklad <a href="https://rust-lang.github.io/zulip_archive/stream/185405-t-compiler/rust-analyzer/topic/Status.2FPlanning.20meeting.html#165636710">(May 14 2019 at 16:21)</a>:</h4>
<p>But now we have and API to do something like <code>struct_literal.add_field(new_field)</code>, which handles trailing comma gracefully</p>



<a name="165636736"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185405-t-compiler/rust-analyzer/topic/Status/Planning%20meeting/near/165636736" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> matklad <a href="https://rust-lang.github.io/zulip_archive/stream/185405-t-compiler/rust-analyzer/topic/Status.2FPlanning.20meeting.html#165636736">(May 14 2019 at 16:21)</a>:</h4>
<p>And I think these are all the major things that happend recently</p>



<a name="165636802"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185405-t-compiler/rust-analyzer/topic/Status/Planning%20meeting/near/165636802" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> matklad <a href="https://rust-lang.github.io/zulip_archive/stream/185405-t-compiler/rust-analyzer/topic/Status.2FPlanning.20meeting.html#165636802">(May 14 2019 at 16:22)</a>:</h4>
<p>Note that name resolution librarification is stalled at the moment, mainly because nobody is working on it :D</p>



<a name="165636803"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185405-t-compiler/rust-analyzer/topic/Status/Planning%20meeting/near/165636803" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/185405-t-compiler/rust-analyzer/topic/Status.2FPlanning.20meeting.html#165636803">(May 14 2019 at 16:22)</a>:</h4>
<blockquote>
<p>But now we have and API to do something like <code>struct_literal.add_field(new_field)</code>, which handles trailing comma gracefully</p>
</blockquote>
<p>is this copy-on-write?</p>



<a name="165636824"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185405-t-compiler/rust-analyzer/topic/Status/Planning%20meeting/near/165636824" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> matklad <a href="https://rust-lang.github.io/zulip_archive/stream/185405-t-compiler/rust-analyzer/topic/Status.2FPlanning.20meeting.html#165636824">(May 14 2019 at 16:22)</a>:</h4>
<blockquote>
<p>is this copy-on-write?</p>
</blockquote>
<p>Yeah</p>



<a name="165636850"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185405-t-compiler/rust-analyzer/topic/Status/Planning%20meeting/near/165636850" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> matklad <a href="https://rust-lang.github.io/zulip_archive/stream/185405-t-compiler/rust-analyzer/topic/Status.2FPlanning.20meeting.html#165636850">(May 14 2019 at 16:23)</a>:</h4>
<p>So, it's like the API you've described in the blog post about immutale data structures in Rust</p>



<a name="165636868"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185405-t-compiler/rust-analyzer/topic/Status/Planning%20meeting/near/165636868" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> matklad <a href="https://rust-lang.github.io/zulip_archive/stream/185405-t-compiler/rust-analyzer/topic/Status.2FPlanning.20meeting.html#165636868">(May 14 2019 at 16:23)</a>:</h4>
<p>Except for the fact that we can't have <code>&amp;mut SyntaxNode</code> because of the parent links</p>



<a name="165636939"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185405-t-compiler/rust-analyzer/topic/Status/Planning%20meeting/near/165636939" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> matklad <a href="https://rust-lang.github.io/zulip_archive/stream/185405-t-compiler/rust-analyzer/topic/Status.2FPlanning.20meeting.html#165636939">(May 14 2019 at 16:24)</a>:</h4>
<p>So you actually interract with <code>&amp;mut AstEditor&lt;StructLiteral&gt;</code></p>



<a name="165637004"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185405-t-compiler/rust-analyzer/topic/Status/Planning%20meeting/near/165637004" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> matklad <a href="https://rust-lang.github.io/zulip_archive/stream/185405-t-compiler/rust-analyzer/topic/Status.2FPlanning.20meeting.html#165637004">(May 14 2019 at 16:25)</a>:</h4>
<p>And... Lets move to planning?</p>



<a name="165637223"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185405-t-compiler/rust-analyzer/topic/Status/Planning%20meeting/near/165637223" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> matklad <a href="https://rust-lang.github.io/zulip_archive/stream/185405-t-compiler/rust-analyzer/topic/Status.2FPlanning.20meeting.html#165637223">(May 14 2019 at 16:28)</a>:</h4>
<p>So I think the recent macro and chalked work clarified some of the known unknowns about rust IDE</p>



<a name="165637252"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185405-t-compiler/rust-analyzer/topic/Status/Planning%20meeting/near/165637252" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> matklad <a href="https://rust-lang.github.io/zulip_archive/stream/185405-t-compiler/rust-analyzer/topic/Status.2FPlanning.20meeting.html#165637252">(May 14 2019 at 16:28)</a>:</h4>
<p>It seems like it is possible to expand macro, and it is possible to resolve traits during completion (although I too look forward to the fuel thing)</p>



<a name="165637299"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185405-t-compiler/rust-analyzer/topic/Status/Planning%20meeting/near/165637299" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Florian Diebold <a href="https://rust-lang.github.io/zulip_archive/stream/185405-t-compiler/rust-analyzer/topic/Status.2FPlanning.20meeting.html#165637299">(May 14 2019 at 16:29)</a>:</h4>
<p>I'm actually really interested in trying to complete methods from traits that are not in scope as well</p>



<a name="165637317"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185405-t-compiler/rust-analyzer/topic/Status/Planning%20meeting/near/165637317" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> matklad <a href="https://rust-lang.github.io/zulip_archive/stream/185405-t-compiler/rust-analyzer/topic/Status.2FPlanning.20meeting.html#165637317">(May 14 2019 at 16:29)</a>:</h4>
<p>With auto-import?</p>



<a name="165637324"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185405-t-compiler/rust-analyzer/topic/Status/Planning%20meeting/near/165637324" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Florian Diebold <a href="https://rust-lang.github.io/zulip_archive/stream/185405-t-compiler/rust-analyzer/topic/Status.2FPlanning.20meeting.html#165637324">(May 14 2019 at 16:29)</a>:</h4>
<p>yeah</p>



<a name="165637397"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185405-t-compiler/rust-analyzer/topic/Status/Planning%20meeting/near/165637397" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> matklad <a href="https://rust-lang.github.io/zulip_archive/stream/185405-t-compiler/rust-analyzer/topic/Status.2FPlanning.20meeting.html#165637397">(May 14 2019 at 16:30)</a>:</h4>
<p>Yeah, that's an interesting topic, which will require some IDE-specific machinery (index of visible stuff)</p>



<a name="165637404"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185405-t-compiler/rust-analyzer/topic/Status/Planning%20meeting/near/165637404" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Florian Diebold <a href="https://rust-lang.github.io/zulip_archive/stream/185405-t-compiler/rust-analyzer/topic/Status.2FPlanning.20meeting.html#165637404">(May 14 2019 at 16:30)</a>:</h4>
<p>that'll be a lot more trait queries though</p>



<a name="165637453"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185405-t-compiler/rust-analyzer/topic/Status/Planning%20meeting/near/165637453" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/185405-t-compiler/rust-analyzer/topic/Status.2FPlanning.20meeting.html#165637453">(May 14 2019 at 16:31)</a>:</h4>
<blockquote>
<p>So I think the recent macro and chalked work clarified some of the known unknowns about rust IDE</p>
</blockquote>
<p>can you drill in a bit here? by this you mean: we have clear challenges to try and tackle, at least in part</p>



<a name="165637481"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185405-t-compiler/rust-analyzer/topic/Status/Planning%20meeting/near/165637481" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> matklad <a href="https://rust-lang.github.io/zulip_archive/stream/185405-t-compiler/rust-analyzer/topic/Status.2FPlanning.20meeting.html#165637481">(May 14 2019 at 16:31)</a>:</h4>
<p>I mean, we haven't hit any road blocks</p>



<a name="165637493"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185405-t-compiler/rust-analyzer/topic/Status/Planning%20meeting/near/165637493" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> matklad <a href="https://rust-lang.github.io/zulip_archive/stream/185405-t-compiler/rust-analyzer/topic/Status.2FPlanning.20meeting.html#165637493">(May 14 2019 at 16:31)</a>:</h4>
<p>basically, both seem to be fast enough</p>



<a name="165637564"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185405-t-compiler/rust-analyzer/topic/Status/Planning%20meeting/near/165637564" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> matklad <a href="https://rust-lang.github.io/zulip_archive/stream/185405-t-compiler/rust-analyzer/topic/Status.2FPlanning.20meeting.html#165637564">(May 14 2019 at 16:32)</a>:</h4>
<p>Specifically, your insight about adding <code>MacroDef</code> to <code>CallId</code> showed that we can do expansion really incrementally</p>



<a name="165637589"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185405-t-compiler/rust-analyzer/topic/Status/Planning%20meeting/near/165637589" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> matklad <a href="https://rust-lang.github.io/zulip_archive/stream/185405-t-compiler/rust-analyzer/topic/Status.2FPlanning.20meeting.html#165637589">(May 14 2019 at 16:32)</a>:</h4>
<p>The bit I am still not sure about is handling hygiene</p>



<a name="165637637"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185405-t-compiler/rust-analyzer/topic/Status/Planning%20meeting/near/165637637" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> matklad <a href="https://rust-lang.github.io/zulip_archive/stream/185405-t-compiler/rust-analyzer/topic/Status.2FPlanning.20meeting.html#165637637">(May 14 2019 at 16:33)</a>:</h4>
<p>currently expansion is non-hygenic, and there's a chance that handling it properly will through a wrench into the works</p>



<a name="165637676"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185405-t-compiler/rust-analyzer/topic/Status/Planning%20meeting/near/165637676" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> matklad <a href="https://rust-lang.github.io/zulip_archive/stream/185405-t-compiler/rust-analyzer/topic/Status.2FPlanning.20meeting.html#165637676">(May 14 2019 at 16:33)</a>:</h4>
<p>So this is another specific bit worth digging into soon</p>



<a name="165637852"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185405-t-compiler/rust-analyzer/topic/Status/Planning%20meeting/near/165637852" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> matklad <a href="https://rust-lang.github.io/zulip_archive/stream/185405-t-compiler/rust-analyzer/topic/Status.2FPlanning.20meeting.html#165637852">(May 14 2019 at 16:35)</a>:</h4>
<blockquote>
<p>that'll be a lot more trait queries though</p>
</blockquote>
<p><span class="user-mention" data-user-id="129457">@Florian Diebold</span> not neccessary: I thin for this you first want to filter by identifier (we don't do this at all now), <em>then</em> by set of potentially importable traits, and only then by actual <code>implements</code> query</p>



<a name="165637948"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185405-t-compiler/rust-analyzer/topic/Status/Planning%20meeting/near/165637948" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Florian Diebold <a href="https://rust-lang.github.io/zulip_archive/stream/185405-t-compiler/rust-analyzer/topic/Status.2FPlanning.20meeting.html#165637948">(May 14 2019 at 16:36)</a>:</h4>
<p>ah, I wasn't sure whether we're actually 'supposed' to filter server-side by LSP</p>



<a name="165638017"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185405-t-compiler/rust-analyzer/topic/Status/Planning%20meeting/near/165638017" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> matklad <a href="https://rust-lang.github.io/zulip_archive/stream/185405-t-compiler/rust-analyzer/topic/Status.2FPlanning.20meeting.html#165638017">(May 14 2019 at 16:37)</a>:</h4>
<p>In this case I think we should. And, just in general, we should handle sorting and filtering fully on the server side: I belive we are fundametally better positioned to do that.</p>



<a name="165638106"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185405-t-compiler/rust-analyzer/topic/Status/Planning%20meeting/near/165638106" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Florian Diebold <a href="https://rust-lang.github.io/zulip_archive/stream/185405-t-compiler/rust-analyzer/topic/Status.2FPlanning.20meeting.html#165638106">(May 14 2019 at 16:38)</a>:</h4>
<p>yeah, I think e.g. prioritizing completions that give a matching type for the current expression would be cool as well</p>



<a name="165638157"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185405-t-compiler/rust-analyzer/topic/Status/Planning%20meeting/near/165638157" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> matklad <a href="https://rust-lang.github.io/zulip_archive/stream/185405-t-compiler/rust-analyzer/topic/Status.2FPlanning.20meeting.html#165638157">(May 14 2019 at 16:39)</a>:</h4>
<p>This actually reminds me of another thing which is worth focusing at in the near future: polish</p>



<a name="165638186"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185405-t-compiler/rust-analyzer/topic/Status/Planning%20meeting/near/165638186" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> matklad <a href="https://rust-lang.github.io/zulip_archive/stream/185405-t-compiler/rust-analyzer/topic/Status.2FPlanning.20meeting.html#165638186">(May 14 2019 at 16:39)</a>:</h4>
<p>We've "polished" chalk and macros recently in a sense that they no longer crash/hang</p>



<a name="165638273"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185405-t-compiler/rust-analyzer/topic/Status/Planning%20meeting/near/165638273" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> matklad <a href="https://rust-lang.github.io/zulip_archive/stream/185405-t-compiler/rust-analyzer/topic/Status.2FPlanning.20meeting.html#165638273">(May 14 2019 at 16:40)</a>:</h4>
<p>But I bet there is some work to be done to make recent additions more reliable</p>



<a name="165638295"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185405-t-compiler/rust-analyzer/topic/Status/Planning%20meeting/near/165638295" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> matklad <a href="https://rust-lang.github.io/zulip_archive/stream/185405-t-compiler/rust-analyzer/topic/Status.2FPlanning.20meeting.html#165638295">(May 14 2019 at 16:40)</a>:</h4>
<p>(especially around integration macros with name resolution, and integrating macros with IDE features)</p>



<a name="165638371"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185405-t-compiler/rust-analyzer/topic/Status/Planning%20meeting/near/165638371" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/185405-t-compiler/rust-analyzer/topic/Status.2FPlanning.20meeting.html#165638371">(May 14 2019 at 16:41)</a>:</h4>
<p>So this is a very interesting question</p>



<a name="165638376"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185405-t-compiler/rust-analyzer/topic/Status/Planning%20meeting/near/165638376" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/185405-t-compiler/rust-analyzer/topic/Status.2FPlanning.20meeting.html#165638376">(May 14 2019 at 16:41)</a>:</h4>
<p>Many people (including myself) are using rust-analyzer now</p>



<a name="165638382"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185405-t-compiler/rust-analyzer/topic/Status/Planning%20meeting/near/165638382" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/185405-t-compiler/rust-analyzer/topic/Status.2FPlanning.20meeting.html#165638382">(May 14 2019 at 16:41)</a>:</h4>
<p>We have no real idea how many I think :)</p>



<a name="165638448"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185405-t-compiler/rust-analyzer/topic/Status/Planning%20meeting/near/165638448" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/185405-t-compiler/rust-analyzer/topic/Status.2FPlanning.20meeting.html#165638448">(May 14 2019 at 16:42)</a>:</h4>
<p>But do we want to have some kind of mechanism for "feature gating" things like chalk etc that don't <em>really</em> improve people's lives yet?</p>



<a name="165638497"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185405-t-compiler/rust-analyzer/topic/Status/Planning%20meeting/near/165638497" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> matklad <a href="https://rust-lang.github.io/zulip_archive/stream/185405-t-compiler/rust-analyzer/topic/Status.2FPlanning.20meeting.html#165638497">(May 14 2019 at 16:42)</a>:</h4>
<p>Good question...</p>
<p>I think at this stage it's better to "commit fast, crash often"</p>



<a name="165638569"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185405-t-compiler/rust-analyzer/topic/Status/Planning%20meeting/near/165638569" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> matklad <a href="https://rust-lang.github.io/zulip_archive/stream/185405-t-compiler/rust-analyzer/topic/Status.2FPlanning.20meeting.html#165638569">(May 14 2019 at 16:43)</a>:</h4>
<p>As in, working on adding more features is more important than stability, b/c there are so many features missing</p>



<a name="165638666"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185405-t-compiler/rust-analyzer/topic/Status/Planning%20meeting/near/165638666" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> matklad <a href="https://rust-lang.github.io/zulip_archive/stream/185405-t-compiler/rust-analyzer/topic/Status.2FPlanning.20meeting.html#165638666">(May 14 2019 at 16:44)</a>:</h4>
<p>Though yeah, if we <strong>knew</strong> how many folks really need rust-analyzer, we would be able to make more informed descision here</p>



<a name="165638800"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185405-t-compiler/rust-analyzer/topic/Status/Planning%20meeting/near/165638800" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> matklad <a href="https://rust-lang.github.io/zulip_archive/stream/185405-t-compiler/rust-analyzer/topic/Status.2FPlanning.20meeting.html#165638800">(May 14 2019 at 16:46)</a>:</h4>
<p><span class="user-mention" data-user-id="153740">@Igor Matuszewski</span> are you around? What is the status of out-of-process rustc for rls?</p>



<a name="165638846"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185405-t-compiler/rust-analyzer/topic/Status/Planning%20meeting/near/165638846" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> matklad <a href="https://rust-lang.github.io/zulip_archive/stream/185405-t-compiler/rust-analyzer/topic/Status.2FPlanning.20meeting.html#165638846">(May 14 2019 at 16:46)</a>:</h4>
<p>I feel like that (out of process rustc, shared between rls and rls2) could be a good inflection point to start <strong>really</strong> focusing on stability</p>



<a name="165638992"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185405-t-compiler/rust-analyzer/topic/Status/Planning%20meeting/near/165638992" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/185405-t-compiler/rust-analyzer/topic/Status.2FPlanning.20meeting.html#165638992">(May 14 2019 at 16:48)</a>:</h4>
<blockquote>
<p>I think at this stage it's better to "commit fast, crash often"</p>
</blockquote>
<p>isn't this a false dichotomy?</p>



<a name="165639032"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185405-t-compiler/rust-analyzer/topic/Status/Planning%20meeting/near/165639032" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/185405-t-compiler/rust-analyzer/topic/Status.2FPlanning.20meeting.html#165639032">(May 14 2019 at 16:48)</a>:</h4>
<p>still, I agree it's far too early for a lot of procedure or feature-gates</p>



<a name="165639040"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185405-t-compiler/rust-analyzer/topic/Status/Planning%20meeting/near/165639040" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/185405-t-compiler/rust-analyzer/topic/Status.2FPlanning.20meeting.html#165639040">(May 14 2019 at 16:48)</a>:</h4>
<p>I think I really just meant a single flag of some kind</p>



<a name="165639047"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185405-t-compiler/rust-analyzer/topic/Status/Planning%20meeting/near/165639047" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/185405-t-compiler/rust-analyzer/topic/Status.2FPlanning.20meeting.html#165639047">(May 14 2019 at 16:48)</a>:</h4>
<p>"enable experiments" or not</p>



<a name="165639174"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185405-t-compiler/rust-analyzer/topic/Status/Planning%20meeting/near/165639174" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> matklad <a href="https://rust-lang.github.io/zulip_archive/stream/185405-t-compiler/rust-analyzer/topic/Status.2FPlanning.20meeting.html#165639174">(May 14 2019 at 16:50)</a>:</h4>
<p>I'd say that not a lot of people complained that rust-analyzer is broken recently</p>



<a name="165639205"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185405-t-compiler/rust-analyzer/topic/Status/Planning%20meeting/near/165639205" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> matklad <a href="https://rust-lang.github.io/zulip_archive/stream/185405-t-compiler/rust-analyzer/topic/Status.2FPlanning.20meeting.html#165639205">(May 14 2019 at 16:50)</a>:</h4>
<p>so that seems premature a bit</p>



<a name="165639224"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185405-t-compiler/rust-analyzer/topic/Status/Planning%20meeting/near/165639224" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> matklad <a href="https://rust-lang.github.io/zulip_archive/stream/185405-t-compiler/rust-analyzer/topic/Status.2FPlanning.20meeting.html#165639224">(May 14 2019 at 16:50)</a>:</h4>
<p>but in general <span aria-label="thumbs up" class="emoji emoji-1f44d" role="img" title="thumbs up">:thumbs_up:</span> on the idea</p>



<a name="165639253"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185405-t-compiler/rust-analyzer/topic/Status/Planning%20meeting/near/165639253" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> matklad <a href="https://rust-lang.github.io/zulip_archive/stream/185405-t-compiler/rust-analyzer/topic/Status.2FPlanning.20meeting.html#165639253">(May 14 2019 at 16:50)</a>:</h4>
<p>I originally intended to make every feature of rust-analyzer configurable</p>



<a name="165639300"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185405-t-compiler/rust-analyzer/topic/Status/Planning%20meeting/near/165639300" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> matklad <a href="https://rust-lang.github.io/zulip_archive/stream/185405-t-compiler/rust-analyzer/topic/Status.2FPlanning.20meeting.html#165639300">(May 14 2019 at 16:51)</a>:</h4>
<p>The problem with IDEs is that they have so many features, that some of them are neccessary annoying for some folks</p>



<a name="165639336"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185405-t-compiler/rust-analyzer/topic/Status/Planning%20meeting/near/165639336" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> matklad <a href="https://rust-lang.github.io/zulip_archive/stream/185405-t-compiler/rust-analyzer/topic/Status.2FPlanning.20meeting.html#165639336">(May 14 2019 at 16:51)</a>:</h4>
<p>and having a tooggle for everything seems nice for "power" users</p>



<a name="165639460"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185405-t-compiler/rust-analyzer/topic/Status/Planning%20meeting/near/165639460" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> matklad <a href="https://rust-lang.github.io/zulip_archive/stream/185405-t-compiler/rust-analyzer/topic/Status.2FPlanning.20meeting.html#165639460">(May 14 2019 at 16:52)</a>:</h4>
<p>configurable=disable-able ?</p>



<a name="165639492"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185405-t-compiler/rust-analyzer/topic/Status/Planning%20meeting/near/165639492" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> matklad <a href="https://rust-lang.github.io/zulip_archive/stream/185405-t-compiler/rust-analyzer/topic/Status.2FPlanning.20meeting.html#165639492">(May 14 2019 at 16:53)</a>:</h4>
<p>we are almost out of time</p>



<a name="165639513"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185405-t-compiler/rust-analyzer/topic/Status/Planning%20meeting/near/165639513" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> matklad <a href="https://rust-lang.github.io/zulip_archive/stream/185405-t-compiler/rust-analyzer/topic/Status.2FPlanning.20meeting.html#165639513">(May 14 2019 at 16:53)</a>:</h4>
<p>Does anyone else want to suggest something?</p>



<a name="165639540"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185405-t-compiler/rust-analyzer/topic/Status/Planning%20meeting/near/165639540" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> matklad <a href="https://rust-lang.github.io/zulip_archive/stream/185405-t-compiler/rust-analyzer/topic/Status.2FPlanning.20meeting.html#165639540">(May 14 2019 at 16:53)</a>:</h4>
<p>I personally covered everything I wanted to :)</p>



<a name="165639609"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185405-t-compiler/rust-analyzer/topic/Status/Planning%20meeting/near/165639609" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/185405-t-compiler/rust-analyzer/topic/Status.2FPlanning.20meeting.html#165639609">(May 14 2019 at 16:54)</a>:</h4>
<p>this has been super interesting</p>



<a name="165639636"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185405-t-compiler/rust-analyzer/topic/Status/Planning%20meeting/near/165639636" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/185405-t-compiler/rust-analyzer/topic/Status.2FPlanning.20meeting.html#165639636">(May 14 2019 at 16:54)</a>:</h4>
<p>I am very frustrated that I've not been able to participate at all with <span class="user-mention" data-user-id="129457">@Florian Diebold</span></p>



<a name="165639655"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185405-t-compiler/rust-analyzer/topic/Status/Planning%20meeting/near/165639655" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/185405-t-compiler/rust-analyzer/topic/Status.2FPlanning.20meeting.html#165639655">(May 14 2019 at 16:54)</a>:</h4>
<p>and I know I certainly won't be able to until end of next week ;)</p>



<a name="165639670"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185405-t-compiler/rust-analyzer/topic/Status/Planning%20meeting/near/165639670" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/185405-t-compiler/rust-analyzer/topic/Status.2FPlanning.20meeting.html#165639670">(May 14 2019 at 16:54)</a>:</h4>
<p>I am debating about something in my head and curious to put it out there</p>



<a name="165639709"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185405-t-compiler/rust-analyzer/topic/Status/Planning%20meeting/near/165639709" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> matklad <a href="https://rust-lang.github.io/zulip_archive/stream/185405-t-compiler/rust-analyzer/topic/Status.2FPlanning.20meeting.html#165639709">(May 14 2019 at 16:55)</a>:</h4>
<p><span class="user-mention" data-user-id="129457">@Florian Diebold</span> we could switch to fork of chalk then <span aria-label="devil" class="emoji emoji-1f47f" role="img" title="devil">:devil:</span></p>



<a name="165639725"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185405-t-compiler/rust-analyzer/topic/Status/Planning%20meeting/near/165639725" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/185405-t-compiler/rust-analyzer/topic/Status.2FPlanning.20meeting.html#165639725">(May 14 2019 at 16:55)</a>:</h4>
<p>(I mean I may be able to land a PR or something)</p>



<a name="165639829"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185405-t-compiler/rust-analyzer/topic/Status/Planning%20meeting/near/165639829" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Florian Diebold <a href="https://rust-lang.github.io/zulip_archive/stream/185405-t-compiler/rust-analyzer/topic/Status.2FPlanning.20meeting.html#165639829">(May 14 2019 at 16:56)</a>:</h4>
<p>sorry, what do you mean by aprticipate :D normally I'm good at understanding typos, but I'm drawing a blank here ;)</p>



<a name="165639851"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185405-t-compiler/rust-analyzer/topic/Status/Planning%20meeting/near/165639851" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/185405-t-compiler/rust-analyzer/topic/Status.2FPlanning.20meeting.html#165639851">(May 14 2019 at 16:56)</a>:</h4>
<p><em>participate</em></p>



<a name="165639859"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185405-t-compiler/rust-analyzer/topic/Status/Planning%20meeting/near/165639859" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Florian Diebold <a href="https://rust-lang.github.io/zulip_archive/stream/185405-t-compiler/rust-analyzer/topic/Status.2FPlanning.20meeting.html#165639859">(May 14 2019 at 16:56)</a>:</h4>
<p>aah of course ;)</p>



<a name="165639899"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185405-t-compiler/rust-analyzer/topic/Status/Planning%20meeting/near/165639899" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/185405-t-compiler/rust-analyzer/topic/Status.2FPlanning.20meeting.html#165639899">(May 14 2019 at 16:57)</a>:</h4>
<p>On the one hand, I want to see a "careful re-implementation" of Rust's type-checker, that aims for clarity, etc. I've thought that RLS 2.0 could provide such a path. On the other, I think it makes sense to push fast forward and try to "stand up" something that "seems to work". I think basically all I mean, really, by "careful re-implementation" is one where people like me (but not exclusively me) read over and try to compare to our expectations etc</p>



<a name="165639924"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185405-t-compiler/rust-analyzer/topic/Status/Planning%20meeting/near/165639924" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/185405-t-compiler/rust-analyzer/topic/Status.2FPlanning.20meeting.html#165639924">(May 14 2019 at 16:57)</a>:</h4>
<p>I guess what i'm saying is : I think it's great, y'all should carry on, and I should think about how I can try to free up time and space to participate more.</p>



<a name="165640017"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185405-t-compiler/rust-analyzer/topic/Status/Planning%20meeting/near/165640017" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> matklad <a href="https://rust-lang.github.io/zulip_archive/stream/185405-t-compiler/rust-analyzer/topic/Status.2FPlanning.20meeting.html#165640017">(May 14 2019 at 16:58)</a>:</h4>
<p>/me realizes that he needs to run away really fast right now (or, better, ten minutes ago)</p>



<a name="165640047"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185405-t-compiler/rust-analyzer/topic/Status/Planning%20meeting/near/165640047" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> matklad <a href="https://rust-lang.github.io/zulip_archive/stream/185405-t-compiler/rust-analyzer/topic/Status.2FPlanning.20meeting.html#165640047">(May 14 2019 at 16:58)</a>:</h4>
<p>That was an awesome meeting, <span aria-label="wave" class="emoji emoji-1f44b" role="img" title="wave">:wave:</span> !</p>



<a name="165640100"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185405-t-compiler/rust-analyzer/topic/Status/Planning%20meeting/near/165640100" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Florian Diebold <a href="https://rust-lang.github.io/zulip_archive/stream/185405-t-compiler/rust-analyzer/topic/Status.2FPlanning.20meeting.html#165640100">(May 14 2019 at 16:59)</a>:</h4>
<p>yeah, I can't really do the "careful" reimplementation, since I'm learning most of it as I go along ;) I can and do look at rustc of course, but there it's often hard to distinguish what is there because it handles some crucial edge case I don't understand yet, and what's there just because it grew that way</p>



<a name="165647685"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185405-t-compiler/rust-analyzer/topic/Status/Planning%20meeting/near/165647685" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Igor Matuszewski <a href="https://rust-lang.github.io/zulip_archive/stream/185405-t-compiler/rust-analyzer/topic/Status.2FPlanning.20meeting.html#165647685">(May 14 2019 at 18:21)</a>:</h4>
<p><span class="user-mention" data-user-id="133169">@matklad</span> i’m sorry, couldn’t get a reliable connection for a while</p>



<a name="165647726"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185405-t-compiler/rust-analyzer/topic/Status/Planning%20meeting/near/165647726" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Igor Matuszewski <a href="https://rust-lang.github.io/zulip_archive/stream/185405-t-compiler/rust-analyzer/topic/Status.2FPlanning.20meeting.html#165647726">(May 14 2019 at 18:21)</a>:</h4>
<p>No substantial progress has been made so far, I wanted to stsrt hacking on it after the lexer bit</p>



<a name="165698549"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185405-t-compiler/rust-analyzer/topic/Status/Planning%20meeting/near/165698549" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/185405-t-compiler/rust-analyzer/topic/Status.2FPlanning.20meeting.html#165698549">(May 15 2019 at 09:16)</a>:</h4>
<p>sorry I missed this meeting</p>



<a name="165698569"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185405-t-compiler/rust-analyzer/topic/Status/Planning%20meeting/near/165698569" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/185405-t-compiler/rust-analyzer/topic/Status.2FPlanning.20meeting.html#165698569">(May 15 2019 at 09:16)</a>:</h4>
<p>I'm still working on setting up infrastructure to test rust-analyzer's nameres system against the output of <code>-Z save-analysis</code></p>



<a name="165698673"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185405-t-compiler/rust-analyzer/topic/Status/Planning%20meeting/near/165698673" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> matklad <a href="https://rust-lang.github.io/zulip_archive/stream/185405-t-compiler/rust-analyzer/topic/Status.2FPlanning.20meeting.html#165698673">(May 15 2019 at 09:18)</a>:</h4>
<p>Cool!</p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>